Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
111	Learning and Explora/on in Automated Theorem Proving Moa Johansson Chalmers University of Technology Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Logic Philosophy Abstraction Automated theorem proving Proof theory Computational complexity theory Proof assistants Theorem Mathematical proof Type theory Algorithm Proof
112	On the Virtue of Succinct Proofs: Amplifying Communication Complexity Hardness to Time-Space Trade-offs in Proof Complexity [Extended Abstract] Trinh Huynh Add to Reading List Source URL: www.complexity.ethz.ch Language: English - Date: 2012-03-28 07:53:42 Theoretical computer science Computational complexity theory Mathematics Automated theorem proving Logic in computer science Rules of inference Resolution Proof complexity Conflict-Driven Clause Learning Boolean algebra Exponential time hypothesis PP
113	Languages for Computational Creativity Generative Art and Interactive Worlds (Full Presentation) Chris Martens Carnegie Mellon University Add to Reading List Source URL: popl-obt-2014.cs.brown.edu Language: English - Date: 2014-01-15 09:36:35 Logic Visual arts Abstraction Programming paradigms Non-classical logic Formal languages Grammar Logic in computer science Generative art Logic programming Linear logic Generative music
114	RAC Rev. R. Acad. Cien. Serie A. Mat. VOL), 2004, pp. 153–180 Ciencias de la Computaci´on / Computational Sciences Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2006-07-26 07:36:55 Mathematics Logic Theoretical computer science Mathematical logic Automated theorem proving Type theory Logic in computer science Nqthm Mathematical induction Mathematical proof Recursive definition Induction
115	J. Symbolic Computation, 235–265 The Magma Algebra System I: The User Language† WIEB BOSMA‡, JOHN CANNON§ AND CATHERINE PLAYOUST¶ Computational Algebra Group, School of Mathematics and Statistics, The Add to Reading List Source URL: www.math.ru.nl Language: English - Date: 2008-01-31 05:33:25 Algebra Mathematics Abstract algebra Universal algebra Mathematical structures Mathematical logic Algebraic structures Magma Sigma-algebra Structure F-algebra Model theory
116	The story of Walter Pitts: “The Man Who Tried to Redeem the World with Logic,” by Amanda Gefter http://nautil.us/issue/21/information/the-man-who-tried-to-redeem-the-world-with-logic History of neural networks: Dreyf Add to Reading List Source URL: redwood.berkeley.edu Language: English - Date: 2015-05-31 22:20:49 Image processing Perception Cognitive science Neuroscience Nervous system Computational neuroscience Walter Pitts Artificial neural network Scene statistics Dreyfus Simoncelli Scene
117	PDF Document Add to Reading List Source URL: www.computational-logic.org - Date: 2010-09-28 11:02:45
118	Call for Nominations Editor-In-Chief ACM Transactions on Computational Logic The term of the current Editor-in-Chief (EiC) of the ACM Transactions on Computational Logic (TOCL) is coming to an end, and the ACM Publicatio Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2015-08-25 13:21:53 Logic in computer science Computer scientists ACM Transactions on Computational Logic ACM SIGLOG Victor Vianu Computational logic Prakash Panangaden Association for Computing Machinery
119	PDF Document Add to Reading List Source URL: www.computational-logic.org - Date: 2010-09-28 11:02:45
120	ARSENAL: Automatic Requirements Specification Extraction from Natural Language Shalini Ghosh1 , Daniel Elenius1 , Wenchao Li1 , Patrick Lincoln1 , Natarajan Shankar1 , Wilfried Steiner2 1 Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-07-14 22:20:33 Logic Abstraction Software Predicate logic Compiler construction Computational linguistics Natural language parsing Programming language implementation Parsing Natural language processing Dependency grammar Domain-specific language

UPDATE